home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / spiderweb / patches / 008 < prev    next >
Encoding:
Text File  |  1989-11-28  |  1.0 KB  |  30 lines
  1. *** c/c.spider.old    Wed Nov 29 22:48:59 1989
  2. --- c/c.spider    Wed Nov 29 21:55:48 1989
  3. ***************
  4. *** 18,28 ****
  5.   
  6.   token + category unorbinop
  7.   token - category unorbinop
  8. ! token * category unorbinop translation <"{*}">
  9.   token / category dot
  10.   token < category less translation <>
  11.   token > category greater translation <>
  12.   token = category equals translation <"\\leftarrow"> tangleto <"="-space>
  13.   token . category dot
  14.   token ~ category unop translation <"\\TI">
  15.   token & category unorbinop translation <"\\amp">
  16. --- 18,30 ----
  17.   
  18.   token + category unorbinop
  19.   token - category unorbinop
  20. ! token * category unorbinop translation <"{*}"> tangleto <space-"*">
  21. ! #                    avoid inadvertant /*
  22.   token / category dot
  23.   token < category less translation <>
  24.   token > category greater translation <>
  25.   token = category equals translation <"\\leftarrow"> tangleto <"="-space>
  26. + #                    avoid inadvertant =-
  27.   token . category dot
  28.   token ~ category unop translation <"\\TI">
  29.   token & category unorbinop translation <"\\amp">
  30.